Peter Aczel (auth.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (7)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 2.96 MB

0 / 0

english, 2002

2

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 12.55 MB

0 / 0

english, 1997

3

Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Thorsten Altenkirch, Bernhard Reus, Wolfgang Naraschewski (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 2.55 MB

0 / 0

english, 1999

4

Conference in Mathematical Logic — London ’70

Conference in Mathematical Logic — London ’70

Peter Aczel, Wayne Richter (auth.), Wilfrid Hodges (eds.)

Рік:

1972

Мова:

english

Файл:

PDF, 6.36 MB

0 / 0

english, 1972

5

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 5.58 MB

0 / 0

english, 1994

6

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

Springer-Verlag Berlin Heidelberg

Peter Aczel, Nicola Gambino (auth.), Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, Robert Pollack (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 9.92 MB

0 / 0

english, 2002

7

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 3.21 MB

0 / 0

english, 1997